Ordered Tableaux: Extensions and Applications
نویسندگان
چکیده
In this paper several conceptual extensions to the theory of order-restricted free variable clausal tableaux which was initiated in 9, 8] are presented: atom orderings are replaced by the more general concept of a selection function, the substitutivity condition required for lifting is for certain variants of the calculus replaced by a much weaker assumption, and a rst version of order-restricted tableaux with theories is introduced. The resulting calculi are shown to be sound and complete. We report on rst experiments made with a prototypical implementation and indicate for which classes of problems order-restricted tableaux calculi are likely to be beneecial.
منابع مشابه
Extensions of Some Fixed Point Theorems for Weak-Contraction Mappings in Partially Ordered Modular Metric Spaces
The purpose of this paper is to establish fixed point results for a single mapping in a partially ordered modular metric space, and to prove a common fixed point theorem for two self-maps satisfying some weak contractive inequalities.
متن کاملGeneral definitions for the union and intersection of ordered fuzzy multisets
Since its original formulation, the theory of fuzzy sets has spawned a number of extensions where the role of membership values in the real unit interval $[0, 1]$ is handed over to more complex mathematical entities. Amongst the many existing extensions, two similar ones, the fuzzy multisets and the hesitant fuzzy sets, rely on collections of several distinct values to represent fuzzy membershi...
متن کاملA-Ordered Tableaux
In resolution proof procedures refinements based on A-orderings of literals have a long tradition and are well investigated. In tableau proof proceduressuch refinements were only recently introduced by the authors of the present paper. In this paper we prove the following results: we give a completeness proof of A-ordered ground clause tableaux which is a lot easier to follow than the previous ...
متن کاملRandom coincidence point results for weakly increasing functions in partially ordered metric spaces
The aim of this paper is to establish random coincidence point results for weakly increasing random operators in the setting of ordered metric spaces by using generalized altering distance functions. Our results present random versions and extensions of some well-known results in the current literature.
متن کاملSome new extensions of Hardy`s inequality
In this study, by a non-negative homogeneous kernel k we prove some extensions of Hardy's inequalityin two and three dimensions
متن کامل